Datalog and TwoGroups and C++
نویسنده
چکیده
Datalog is the language of deductive databases, a rst step towards intelligent relational databases. TwoGroups is a database of p-groups, primarily the groups of order dividing 2 8 , which has seen actually use by research mathematicians. TwoGroups was originally developed on the NU-Prolog platform. We report on our eeorts to implement a Datalog interpreter in C++, and to implement TwoGroups in C++ on top of the Datalog platform. Although TwoGroups is very relational in style, its use of range queries means that Datalog is not the perfect platform on which to implement TwoGroups. However, TwoGroups can directly utilise the multi-attribute retrieval algorithms within the Datalog implementation which do support range queries.
منابع مشابه
انتخاب مناسبترین زبان پرسوجو برای استفاده از فراپیوندها جهت استخراج دادهها در حالت دیتالوگ در سامانه پایگاه داده استنتاجی DES
Deductive Database systems are designed based on a logical data model. Data (as opposed to Relational Databases Management System (RDBMS) in which data stored in tables) are saved as facts in a Deductive Database system. Datalog Educational System (DES) is a Deductive Database system that Datalog mode is the default mode in this system. It can extract data to use outer joins with three query la...
متن کاملInstitut F Ur Informationssysteme Enhancing Disjunctive Datalog by Constraints Enhancing Disjunctive Datalog by Constraints
This paper presents an extension of Disjunctive Datalog (DATALOG _;:) by integrity constraints. These are of two types: strong, that is, classical integrity constraints, and weak, that is, constraints that are satissed if possible. While strong constraints must be satissed, weak constraints express desiderata, that is, they may be violated-actually, their semantics tends to minimize the number ...
متن کاملA Database of Groups of Prime-power Order
The design, implementation and performance of TwoGroups, a deductive database for the 58,761 groups of order 2n, (n # 8), is described. The system is implemented in NU-Prolog, a Prolog system with built-in functions for creating and using deductive databases. TwoGroups has a set-theoretic query language, which provides users with a familiar notation to access the data. The paper describes the d...
متن کاملDATALOG with Constraints: A Foundation for Trust Management Languages
Trust management (TM) is a promising approach for authorization and access control in distributed systems, based on signed distributed policy statements expressed in a policy language. Although several TM languages are semantically equivalent to subsets of Datalog, Datalog is not sufficiently expressive for fine-grained control of structured resources. We define the class of linearly decomposab...
متن کاملImplementing Datalog in Maude
Transformation of programs among different paradigms has been widely studied in academic research and education. The interest on Datalog has recently increased as a specification language for expressing, in just a few lines, complex interprocedural analyses involving dynamically created objects. In real-world problems, the Datalog rules encoding a particular analysis must be solved generally un...
متن کامل